ecl(ds; da)
== rec(X.((k:Knd  (decl-state(ds)ma-valtype(da; k))) + (a:X  X) + (a:X  X) + (a:X
== rec( X) + X + (a:X  ) + (a:X  ) + (a:X  ( List)))) 

latex

Definitions	rec(x.A(x)), Knd, decl-state(ds), x:AB(x), ma-valtype(da; k), , left + right, x:A  B(x), type List,
FDL editor aliases	ecl